xen: arm: Enable 40 bit addressing in VTCR for arm64
authorIan Campbell <ian.campbell@citrix.com>
Thu, 10 Oct 2013 14:43:41 +0000 (15:43 +0100)
committerIan Campbell <ian.campbell@citrix.com>
Thu, 24 Oct 2013 13:23:36 +0000 (14:23 +0100)
commit50257e96b77c51b3eeb06ab68e7bd48ba2a8752b
tree0f01f5e7200685683b090bfb61fd54cb3c63b37a
parente4d7c89e34bf62eda5118d61caef9858c38cdf57
xen: arm: Enable 40 bit addressing in VTCR for arm64

This requires setting the v8 specific VTCR_EL2.PS field. These bits are
UNK/SBZP on v7.

Also the TS0SZ field is described slightly differently for v8, so update the
comment to reflect this.

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Julien Grall <julien.grall@linaro.org>
xen/arch/arm/mm.c